To think a Deleuzian politics requires to understand the philosophical markleft in his work by Spinoza. Both philosophers’ paths crisscross in their problems, questions and consequences. In this paper three concepts will be put in relation: critique, right and crowd. The aim is to elucidate how man can open new ways of political experience from the conjunction of two philosophies articulated upon a common ground: immanence and life.

In this paper we suggest that differing approaches to the science of social cognition mirror the arguments between radical embodied and traditional approaches to cognition. We contrast the use in social cognition of theoretical inference and mental simulation mechanisms with approaches emphasizing a direct perception of others’ mental states. We build from a recent integrative framework unifying these divergent perspectives through the use of dual-process theory and supporting social neuroscience research. Our elaboration considers two complementary notions of direct perception: one (...) primarily stemming from ecological psychology and the other from enactive cognition theory. We use this as the foundation from which to offer an account of the informational basis for social information and assert a set of research propositions to further the science of social cognition. In doing so, we point out how perception of the minds of others can be supported in some cases by lawful information, supporting direct perception of social affordances and perhaps, mental states, and in other cases by cues that support indirect perceptual inference. Our goal is to extend accounts of social cognition by integrating advances across disciplines to provide a multi-level and multi-theoretic description that can advance this field and offer a means through which to reconcile radical embodied and traditional approaches to cognitive neuroscience. (shrink)

El título de este libro, al estar en plural, constituye de por sí una petición de principio. Se trata, pues, de descomponer el Tiempo en tiempos y dentro de ellos analizar lo que son las secuencias de carácter temporal. Porque sólo rompiendo la interesada confusión del Tiempo con los tiempos puede pensarse de una forma "otra", puede empezar a repensarse el enorme sinsentido de la Estructura que nos atrapa, ratonera del pensamiento que adora la Realidad.

The aim of this study was to analyze the psychometric properties of the Eating Disorder Inventory (EDI)-3 test to evaluate eating disorders in young Chilean population. Methods: The sample consisted of 1,091 Chilean adolescents and young people (i.e., 476 men and 615 women) between 15 and 28 years old, from the metropolitan region, and four regions from the coast and south-central zone of the country. The reliability and factorial structure of the instrument were analyzed, replicating the confirmatory factor analyses ofBrookings (...) et al. (2020), evaluating four additional models that included bifactor exploratory structural equation modeling (ESEM), bifactor, and two-bifactor. Results: A majority of the subscales presented alphas and omegas equal to or greater than 0.70, with the exception of asceticism (α = 0.543, ω = 0.552) and interpersonal alienation (α = 0.684, ω = 0.695) scales, which are consistent with the values of the Spanish and Mexican non-clinical samples. The best fit indices were obtained by the ESEM two-bifactor model, with twelve specific factors corresponding to the EDI-3 subscales and two general orthogonal factors (i.e., risk subscales and psychological subscales), consistently with the theoretical basis. (shrink)

En el presente artículo se presenta una propuesta didáctica para tercer ciclo de educación primaria que se construye a partir de un Trabajo de Fin de Grado y que ha sido llevada a la práctica. La propuesta está relacionada con el aprendizaje de diferentes aspectos de las culturas griega, vikinga y egipcia. El objetivo central de este artículo es presentar una planificación didáctica para el aprendizaje de estas civilizaciones desde una perspectiva lúdica e innovadora en la cual se hace uso (...) de la realidad virtual y los videojuegos; incluyendo además los resultados más relevantes de su puesta en práctica. La metodología de la propuesta está basada en la gamificación y el aprendizaje basado en juegos (ABJ). La elección de esta metodología se sustenta en las facilidades que ofrecen tanto la expansión del desarrollo tecnológico como el uso de las aplicaciones (app) y videojuegos en la vida cotidiana de los estudiantes; apoyándose en estudios previos que muestran los beneficios del uso de estas tecnologías en enseñanza de las ciencias sociales y de la historia. La puesta en práctica se desarrolla a través de una secuencia de actividades que abarca varias sesiones y en las que, entre otras tareas, se hace uso de los videojuegos Assassin’s Creed: Discovery Tour, para tareas de exploración, y Minecraft Education Edition, para tareas de representación. En cuanto a los resultados de la puesta en práctica, la propuesta ha sido exitosa en su desarrollo, obteniéndose un alto grado de consecución de los objetivos didácticos propuestos y no encontrando dificultades graves durante el proceso de enseñanza-aprendizaje. (shrink)

In this paper, we focus on a logical approach to the important notion of closeness, which has not received much attention in the literature. Our notion of closeness is based on the so-called proximity intervals, which will be used to decide the elements that are close to each other. Some of the intuitions of this definition are explained on the basis of examples. We prove the decidability of the recently introduced multimodal logic for closeness and, then, we show some capabilities (...) of the logic with respect to expressivity in order to denote particular positions of the proximity intervals. (shrink)

We argue for a new conventionalism about many kinds of evolutionary groups, including clades, cohesive units, and populations. This rejects a consensus, which says that given any one of the many legitimate grouping concepts, only objective biological facts determine whether a collection is such a group. Surprisingly, being any one kind of evolutionary group typically depends on which of many incompatible values are taken by suppressed variables. This is a novel pluralism underlying most any one group concept, rather than a (...) familiar pluralism claiming many concepts are legitimate. Consequently, we must help biological facts determine grouphood, even when given a single grouping concept. (shrink)

We present a relational proof system in the style of dual tableaux for a multimodal propositional logic for order of magnitude qualitative reasoning to deal with relations of negligibility, non-closeness, and distance. This logic enables us to introduce the operation of qualitative sum for some classes of numbers. A relational formalization of the modal logic in question is introduced in this paper, i.e., we show how to construct a relational logic associated with the logic for order-of-magnitude reasoning and its dual (...) tableau system which is a validity checker for the modal logic. For that purpose, we define a validity preserving translation of the modal language into relational language. Then we prove that the system is sound and complete with respect to the relational logic defined as well as with respect to the logic for order of magnitude reasoning. Finally, we show that in fact relational dual tableau does more. It can be used for performing the four major reasoning tasks: verification of validity, proving entailment of a formula from a finite set of formulas, model checking, and verification of satisfaction of a formula in a finite model by a given object. (shrink)

An automatic theorem prover for a proof system in the style of dual tableaux for the relational logic associated with modal logic K has been introduced. Although there are many well-known implementations of provers for modal logic, as far as we know, it is the first implementation of a specific relational prover for a standard modal logic. There are two main contributions in this paper. First, the implementation of new rules, called (k1) and (k2), which substitute the classical relational rules (...) for composition and negation of composition in order to guarantee not only that every proof tree is finite but also to decrease the number of applied rules in dual tableaux. Second, the implementation of an order of application of the rules which ensures that the proof tree obtained is unique.As a consequence, we have implemented a decision procedure for modal logic K. Moreover, this work would be the basis for successive extensions of this logic, such as T, B and S4. (shrink)

Qualitative description of movements can be very important for representation and reasoning about dynamic systems which are complex in structure or whenever numerical data are incomplete or inaccessible. For this reason, we present a hybrid approach based on the combination of qualitative reasoning, quantitative data and logical methods. In this article, we introduce a new propositional dynamic logic QM for representation and reasoning with relative movements of objects. In this way, we can infer additional information about movements by using axioms (...) and the logic apparatus. We present a sound and complete deduction system in dual tableaux style for the logic QM. The system can be used for verification of validity of formulas of the logic in question. (shrink)

We present a dual tableau system, RLK, which is itself a deterministic decision procedure verifying validity of K-formulas. The system is constructed in the framework of the original methodology of relational proof systems, determined only by axioms and inference rules, without any external techniques. Furthermore, we describe an implementation of the system RLK in Prolog, and we show some of its advantages.

We present a dual tableau system, RLK, which is itself a deterministic decision procedure verifying validity of K-formulas. The system is constructed in the framework of the original methodology of relational proof systems, determined only by axioms and inference rules, without any external techniques. Furthermore, we describe an implementation of the system in Prolog, and we show some of its advantages.

Qualitative description of the movement of objects can be very important when there are large quantity of data or incomplete information, such as in positioning technologies and movement of robots. We present a first step in the combination of fuzzy qualitative reasoning and quantitative data obtained by human interaction and external devices as GPS, in order to update and correct the qualitative information. We consider a Propositional Dynamic Logic which deals with qualitative velocity and enables us to represent some reasoning (...) tasks about qualitative properties. The use of logic provides a general framework which improves the capacity of reasoning. In this way, we can infer additional information by using axioms and the logic apparatus. In this paper we present sound and complete relational dual tableau that can be used for verification of validity of formulas of the logic in question. (shrink)

A new deduction system for deciding validity for the minimal decidable normal modal logic K is presented in this article. Modal logics could be very helpful in modelling dynamic and reactive systems such as bio-inspired systems and process algebras. In fact, recently the Connectionist Modal Logics has been presented, which combines the strengths of modal logics and neural networks. Thus, modal logic K is the basis for these approaches. Soundness, completeness and the fact that the system itself is a decision (...) procedure are proved in this article. The main advantages of this approach are: first, the system is deterministic, i.e. it generates one proof tree for a given formula; second, the system is a validity-checker, hence it generates a proof of a formula ; and third, the language of deduction and the language of a logic coincide. Some of these advantages are compared with other classical approaches. (shrink)

We present a relational proof system in the style of dual tableaux for the relational logic associated with a multimodal propositional logic for order of magnitude qualitative reasoning with a bidirectional relation of negligibility. We study soundness and completeness of the proof system and we show how it can be used for verification of validity of formulas of the logic.

In previous works, we presented a modification of the usual possible world semantics by introducing an independent temporal structure in each world and using accessibility functions to represent the relation among them. Different properties ofthe accessibility functions have been considered and axiomatic systems which define these properties have been given. Only a few ofthese systems have been proved tobe complete. The aim ofthis paper is to make a progress in the study ofcompleteness for functional systems. For this end, we use (...) indexes as names for temporal flows and give new proofs of completeness. Specifically, we focus our attention on the system which defines injectivity, because the system which defines this property without using indexes was proved to be incomplete in previous works. The only system considered which remains incomplete is the one which defines surjectivity, even ifwe consider a sequence ofnatural extensions ofthe previous one. (shrink)

In the city of Elche, every year, on the 14th and 15th of August, a sacred musical play about the death, the Assumption and the Coronation of the Virgin Mary is held. This event, known as the “Misterio de Elche”, is unique in the world. Since the middle of the 15th century it has been performed in the Basilica of Santa Maria and in the streets of the ancient city of Elche, located in the Valencian Community. In this work, classified (...) as a UNESCO World Heritage Site, the interior of the temple is transformed into 2 main stages, the scaffold, located in the lower part, and the aerial stage, located in the dome at a height of 27 m. The structure and the traction mechanisms located on the aerial stage allow the aerial devices that take part in the play, “El Araceli”, “La Mangrana” and “La Santísima Trinidad”, to be raised and lowered. It should be noted that between 2 and 5 singing actors are embarked on these devices. This article describes the main characteristics of the aerial stage structure, the 3 apparatus and the mechanical systems used. In addition, the age and modifications of “El Araceli” are analysed, as well as the results of a non-destructive test carried out on this device. (shrink)

This paper introduces Basic Intuitionistic Set Theory BIST, and investigates it as a first-order set theory extending the internal logic of elementary toposes. Given an elementary topos, together with the extra structure of a directed structural system of inclusions on the topos, a forcing-style interpretation of the language of first-order set theory in the topos is given, which conservatively extends the internal logic of the topos. This forcing interpretation applies to an arbitrary elementary topos, since any such is equivalent to (...) one carrying a dssi. We prove that the set theory BIST+Coll is sound and complete relative to forcing interpretations in toposes with natural numbers object . Furthermore, in the case that the structural system of inclusions is superdirected, the full Separation schema is modelled. We show that all cocomplete and realizability toposes can be endowed with such superdirected systems of inclusions.A large part of the paper is devoted to an alternative notion of category-theoretic model for BIST, which, following the general approach of Joyal and Moerdijkʼs Algebraic Set Theory, axiomatizes the structure possessed by categories of classes compatible with BIST. We prove soundness and completeness results for BIST relative to the class-category semantics. Furthermore, BIST+Coll is complete relative to the restricted collection of categories of classes given by categories of ideals over elementary toposes with nno and dssi. It is via this result that the completeness of the original forcing interpretation is obtained, since the internal logic of categories of ideals coincides with the forcing interpretation. (shrink)

The term “globalization” was popularized by Marshall McLuhan in War and Peace in the Global Village. In the book, McLuhan described how the global media shaped current events surrounding the Vietnam War [1] and also predicted how modern information and communication technologies would accelerate world progress through trade and knowledge development. Globalization now refers to a broad range of issues regarding the movement of goods and services through trade liberalization, and the movement of people through migration. Much has also been (...) written on the global effects of environmental degradation, population growth, and economic disparities. In addition, the pace of scientific development has accelerated, with both negative and positive implications for global health. Concerns for national health transcend borders, with a need for shared human security and an enhanced role for international cooperation and development [2]. These issues have significant bioethical implications, and thus a renewed academic focus on the ethical dimensions of public health is needed. Future developments in science and health policy also require a firm grounding in bioethical principles. These core principles include beneficence; nonmaleficence ; respect for persons and human dignity ; and attention to equity and social justice. According to the World Health Organization [3], global ethical approaches should monitor and update ethical norms for research, as necessary; anticipate ethical implications of advances in science and technology for health; apply internationally accepted codes of ethics; ensure that agreed standards guide future work on the human genome; and ensure that quality in health systems and services is assessed and promoted. (shrink)

We introduce an Automatic Theorem Prover (ATP) of a dual tableau system for a relational logic for order of magnitude qualitative reasoning, which allows us to deal with relations such as negligibility, non-closeness and distance. Dual tableau systems are validity checkers that can serve as a tool for verification of a variety of tasks in order of magnitude reasoning, such as the use of qualitative sum of some classes of numbers. In the design of our ATP, we have introduced some (...) heuristics, such as the so called phantom variables, which improve the efficiency of the selection of variables used un the proof. (shrink)

The egg behaves as a prospective cell sustaining the developmental processes of the future embryo. In biosemiotic terms, this apparent teleonomic behaviour can be accounted for without referring to the exclusive causal role played by its genetic makeup. We envision two different processes that are uniquely found in the oocyte: (1) the first involves the mechanisms by which large amounts of mRNA accumulate in the ooplasm to establish the embryo axes prior to fertilization; (2) the second involves transfer of an (...) excess of maternally supplied ribosomes to the oocyte to provide the future embryo with newly synthesized proteins. In this paper, we argue that the information required to sustain embryonic development is not due to any physical properties of the zygotic DNA and the maternal mRNAs, but to their spatially and temporally ordered relationship in the zygote’s internal space. (shrink)

La decouverte de plus en plus profonde de la signification du christianisme a transforme la pensee de Fichte. Reciproquement, Fichte s'engage dans la voie d'une transformation du christianisme, au sens d'une metamorphose de la croyance en vision; il saisit la foi comme un stade imparfait de la science et souligne que seule cette derniere est a meme de supprimer l'exteriorite de l'Absolu. Le present ouvrage allie les points de vue genetique et systematique. De ses cinq parties, les quatre premieres exposent, (...) en suivant l'ordre chronologique, l'evolution de la theorie fichteenne du christianisme, depuis les textes prekantiens jusqu'a la Doctrine de l'Etat de 1813. La longue cinquieme partie, structuree thematiquement plutot que chronologiquement, est reservee non seulement a la reprise synthetique, mais aussi a la confrontation critique. Elle examine les differents aspects de la conception fichteenne du christianisme, notamment sa position a l'egard du Nouveau Testament, de la dogmatique, de la morale et de la mystique chretiennes. (shrink)